Merge pull request #1377 from robertovargas-arm/compiler-warnings
authorDimitris Papastamos <[email protected]>
Wed, 9 May 2018 12:40:35 +0000 (13:40 +0100)
committerGitHub <[email protected]>
Wed, 9 May 2018 12:40:35 +0000 (13:40 +0100)
Compiler warnings


Trivial merge